void draw_display();